manual-operated revolving doors