Optimal control strategies for dengue fever spread in Johor, Malaysia. (November 2020)