Vertical angles and their properties