Referendum Design: An Exercise in Applied Social Choice Theory