Tech companies want small nuclear reactors. Here’s how they’d work