simple php functions to export mysql database (.sql file)