African elephants are shortest-sleeping mammals: study