On the Complexity of Constructing Optimal OBDD's