BOBA: Byzantine-Robust Federated Learning with Label Skewness