Proving in Zero-Knowledge that a Number Is the Product of Two Safe Primes