Paddy Cosgrave resigns as CEO of Web Summit