Goal Recognition via Linear Programming