Migrate MySQL for Open edX to AWS RDS