UK border tech budget swells by £100M as Home Office targets small boat crossings