PHP code to export MySQL data