Coloring Mixed Hypergraphs: Theory, Algorithms and Applications