Orange County bus strike ends as union, board approve contract