Oriented matroids