A Tableaux Calculus for KLM Preferential and Cumulative Logics