German telecom giant migrates 14 million customers to MariaDB