A Weil-étale version of the Birch and Swinnerton-Dyer formula over function fields