How Embracing Fun at Work Can Enhance Productivity and Mental Health