Philips koopt Duits Tomtec, verstevigt investering in big data