Are modern hand dryers actually better than paper towels in public washrooms?