Horizontal branch stars: the interplay between observations and theory, and insights into the formation of the Galaxy