Google, Apple $415M deal with tech workers gets final approval 5 years ago