Algebraic microlocal analysis I: microlocalization and microsupport of sheaves