An Introduction to Control Barrier Functions