The basic MP3 decoding and encoding technology is patent-free in the European Union, all patents having expired there. Between which years did most of the MP3 patents in the US expire?