Proximity Eliashberg theory of electrostatic field-effect doping in superconducting films