Analytic Tableaux for KLM Preferential and Cumulative Logics