HuMMan: Multi-Modal 4D Human Dataset for Versatile Sensing and Modeling