How to check what port mysql is running on