Jolie has double mastectomy