On the 4.1 teensy there are pins labeled OUT1, OUT1D etc. What are these pin designated for and can they be used for digital pins or anything else?