The hadronic vacuum polarization of the muon fromfour-flavor lattice QCD