More than 5,000 migrants arrived in the UK after crossing the Channel in October, making it the busiest month of the year so far.