Coherent algebraic sheaves in real algebraic geometry