Bayesian Optimisation for Mixed-Variable Inputs using Value Proposals