On 7 July 1994, the Fraunhofer Society released the first software MP3 encoder called l3enc. What was the average high end hard drive size?