Checkpointing Protocols in Distributed Systems with Mobile Hosts: a Performance Analysis