Guardian News & Media appoints Aron Pilhofer as executive editor of digital