Net migration to the UK hit record 900,000 in 2023