Improving Upper Bounds in High School Timetabling by Matheuristics