Schengen-style checks by Spanish officials will operate alongside those by Gibraltarian authorities at borders and airports