Angelina Jolie says she had double mastectomy