Specific heat of Fe3O4−xFx in the neighbourhood of the verwey temperature (with x=0, 0.1 and 0.25)