Arithmetic models for Hilbert modular varieties