D-modules, V-filtrations, and B-functions in mixed characteristic