Basic Properties of Busemann Functions