Russia overtook US as gas supplier to Europe in May