Schoof’s point counting algorithm