DISCOMAN: Dataset of Indoor SCenes for Odometry, Mapping and Navigation