Local Times and Excursion Theory for Brownian Motion