Explicit Chabauty over number fields