Introduction to spherical geometry