Tableaux and interpolation for propositional justification logics