Bernie Marsden, former Whitesnake guitarist, dead at 72