Muon pair production in electron-proton collisions