SMS: Short course in spherical trigonometry