https://carto.com/help/working-with-data/sql-stored-procedures/#what-is-a-stored-procedure