Large methane mitigation potential through prioritized closure of gas-rich coal mines