Long wave approximation for water waves under a Coriolis forcing and the Ostrovsky equation