Does anyone know the development cost for Minecraft? Presumably this would be measured in hours of time, as Notch did all the work himself (except for the music)