Decline of notified dengue infections in Indonesia in 2017: Discussion of the possible determinants