Efficient inference of population size histories and locus-specific mutation rates from large-sample genomic variation data