A MATHEMATICAL FORMULATION FOR PLANNING AUTOMATED AIRCRAFT SEPARATIONS FOR AERA 3