An Introduction to AI Safety