php script to export mysql database to sql file