Process for the production of ethanol