Safe Autonomy with Control Barrier Functions