How do I file for an health care exemption? The healthcare.gov website says no applications are necessary with 2018 tax period.