Magnitud, evolución y composición de la inversión social pública en educación en Costa Rica: 2000 - 2019