Surveillance of malaria in mainland Portugal in 2016 after the introduction of an electronic system: is it enough?