Study of sporadic E layers based on GPS radio occultation measurements and digisonde data over the Brazilian region