AOL to sell over 800 patents to Microsoft for $1bn