Braves trade infielder Jack Mayfield to Angels