The energy density of martensitic thin films via dimension reduction