Doctors can lawfully stop life support for boy who was brain damaged, High Court rules