Sistema de mineração e aprendizado de máquina supervisionado para obtenção e previsão de dados referentes a ocorrências de tempestades de granizo no Brasil