A simple setup for learning Mealy machine models of different TLS server implementations using the L* algorithm