A non-asymptotic throughput for massive MIMO cellular uplink with pilot reuse | Synapse