Ex-Vikings safety Orlando Thomas dies at 42