Efficient certification of feasibility and objective value of linear programs and its applications