An Optimal Tableau-based Decision Algorithm for Propositional Neighborhood Logic