Isolation and gene flow: inferring the speciation history of European house mice