Automated simulation-based membrane-protein refinement into cryo-EM data