New machine learning algorithms offer safety and fairness guarantees