Batched Gaussian Process Bandit Optimization via Determinantal Point Processes