Functional posterior rhizotomy for severely disabled children with mixed type cerebral palsy.