arxiv SRB measures for mostly expanding partially hyperbolic diffeomorphisms via the variational approach