The Abramov-Rokhlin entropy addition formula for amenable group actions