Star–Galaxy Image Separation with Computationally Efficient Gaussian Process Classification | Synapse