Is it possible to achieve 16Khz PWM on the port pins of 89C51? What could be the outlined logic for the code?