Combien coûte chaque année la mission « Enseignement scolaire » au budget de l'État ?