Temasek Poly channels more resources to tend to students’ mental health