A spectral gap in $\mathrm{SL}^2(\mathbb R)$ and applications: expansion, Furstenberg measures and the Anderson-Bernoulli model