Algeria’s Khalifa Airways buys Antinea Airlines