Energy density of all-solid-state sodium batteries