What are the hardware specifications of the average developer workstation?