Distributed Deep Joint Source-Channel Coding over a Multiple Access Channel