Borel functional calculus