Ion beam mixing at nickel-silicon interfaces