DESERT Underwater: an NS-Miracle extension to DEsign, Simulate, Emulate and Realize Test-beds for Underwater network protocols