K → μ+μ− as a clean probe of short-distance physics