jndi configuration with tomcat and mysql