Horospheres and convex bodies in hyperbolic space