Validity of the Fröhlich model for a mobile impurity in a Bose-Einstein condensate