13 of the best ‘office hacks,’ according to an ex-Googler