where did the office theme song come from