Protein identification from electron cryomicroscopy maps by automated model building and side-chain matching