Algebraicity of the stack of coherent sheaves