Gibraltar to align with Schengen area in time for summer holidays following post-Brexit deal