How and when to prune every type of lavender, according to an expert