How to claim the principal residence exemption