Just-released video shows horror of Kenya mall attack