Arduino library to control 4-digit 7-segment display