The total number of migrants crossing the Channel to reach the UK in 2025 was 13% higher than the figure for 2024