an Arduino color mixer for a common-anode RGB LED