High-Reynolds-number Batchelor-model asymptotics of a flow past an aerofoil with a vortex trapped in a cavity