SPOTLIGHT ON...MarkLogic releases MarkLogic Server 4.0