Buffalo: A Practical Secure Aggregation Protocol for Buffered Asynchronous Federated Learning