我试着在MySQL中将月份文本转换成月份数字，但是不知怎么的，我不能完全理解它是如何工作的。几乎就像改变日期时间格式一样。
假设我有：

2017-OCT-15
2016-FEB-19
2015-JUL-12

并希望将其转换为：

2017-10-15
2016-02-19
2015-07-12

我应该使用什么命令/函数？任何建议都将不胜感激。谢谢！