How many total bit/s would an MP3 compressed at 128 kbit/s have?