An Optimization-Based Treatment Planner For Gamma Knife Radiosurgery