In 2008, the BBC began experimenting with live streaming of certain channels in the UK, and in November 2008, all standard BBC television channels were made available to watch online. When was full coverage of the BBC's standard programming launched in online stream format?