Verizon writes down $4.6 billion over AOL / Yahoo deals