Airport operator BAA has been ordered to sell Gatwick and Stansted airports and either Glasgow or Edinburgh airport.