Angelina Jolie undergoes double mastectomy