Overall survival prediction for high-grade glioma patients using mathematical modeling of tumor cell infiltration.