Just as there is phpversion() for getting the version of PHP on the server, how do I get the version of MySQL?