¿Cómo funciona la exención por reinversión en vivienda habitual?