AirAsia gets shareholder nod to sell plane portfolio to Castlelake