Derive Ampere's circuital law