Gravar-mail: Finite-key analysis for twin-field quantum key distribution with composable security