Real-time ultrasound bone segmentation and robust US-CT registration for surgical navigation of pelvic fractures