Semi-Asynchronous Federated Edge Learning Mechanism via Over-the-air Computation