A majority of elliptic curves over $\mathbb Q$ satisfy the Birch and Swinnerton-Dyer conjecture