Bayesian Dynamic Finite-Fault Inversion: 1. Method and Synthetic Test