Analytically solvable model of an electronic Mach-Zehnder interferometer