JT gravity at finite cutoff