Metrical Theory of Elections Explained: An Interview with David Lehman (Part 1)