Sharon Osbourne has double mastectomy