Describir: An efficient modeling and simulation of quantum key distribution protocols using OptiSystem™