Thousands of OK employees given raises despite budget woes