PHP function to easily generate a month select box