Simply-Typed Call-by-Value Lambda Calculus