From path integrals to the Wheeler-DeWitt equation: Time evolution in spacetimes with a spatial boundary