Navigating Polytopes with Safety: A Control Barrier Function Approach