Hadronic vacuum polarization in the muon g − 2: the short-distance contribution from lattice QCD