Tanker allocation optimization during civil air-to-air refuelling operations