PHP loop to generate checkboxes from array of values