Many-body quantum chaos