Overview of Japanese encephalitis disease and its prevention. Focus on IC51 vaccine (IXIARO®)