Optimality conditions and error analysis of semilinear elliptic control problems with $L^1$ cost functional