Facebook, Google CEOs aware of formal advertising market deal – court filing