Saudi health care industry gets $6.19 billion budget boost