Machine learning finds fluoride battery materials that could rival lithium