Implementing and Proving the TLS 1 3 Record Layer