Differentiable Vertex Fitting for Jet Flavour Tagging